-record(prop_test_rec_inner, {f :: integer()}).
